منابع مشابه
The Girard-Reynolds Isomorphism
ion Theorem x1 : A1, . . . , xn : An ` t : B in F2 ⇒ (x1, x1) ∈ A ∗‡ 1 , . . . , (xn, x ′ n) ∈ A∗‡ n ` (|t|, |t|′) ∈ B∗‡ in P2
متن کاملThe Graph Isomorphism Problem
The graph isomorphism problem can be easily stated: check to see if two graphs that look di erently are actually the same. The problem occupies a rare position in the world of complexity theory, it is clearly in NP but is not known to be in P and it is not known to be NP-complete. Many sub-disciplines of mathematics, such as topology theory and group theory, can be brought to bear on the proble...
متن کاملOn the Satake Isomorphism
In this paper, we present an expository treatment of the Satake transform. This gives an isomorphism between the spherical Hecke algebra of a split reductive group G over a local field and the representation ring of the dual group Ĝ. If one wants to use the Satake isomorphism to convert information on eigenvalues for the Hecke algebra to local L-functions, it has to be made quite explicit. This...
متن کاملSyntactic isomorphism and non-isomorphism under ellipsis
Rooth (1992) and Fiengo and May (1994) argue that elliptical structures are subject to both a semantic and a syntactic parallelism requirement. Pseudosluicing, where an elliptical cleft takes a non-cleft as its antecedent, pose a problem for the idea that there is a syntactic parallelism requirement. In this talk, we will look at Spanish data (building on the analysis of Rodrigues et al. 2008) ...
متن کاملThe Wirthmüller Isomorphism Revisited
We show how the formal Wirthmüller isomorphism theorem proven in [2] simplifies the proof of the Wirthmüller isomorphism in equivariant stable homotopy theory. Other examples from equivariant stable homotopy theory show that the hypotheses of the formal Wirthmüller and formal Grothendieck isomorphism theorems in [2] cannot be weakened.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2003
ISSN: 0890-5401
DOI: 10.1016/s0890-5401(03)00141-x